Integrand size = 8, antiderivative size = 36 \[ \int \csc ^2(x)^{5/2} \, dx=-\frac {3}{8} \text {arcsinh}(\cot (x))-\frac {3}{8} \cot (x) \sqrt {\csc ^2(x)}-\frac {1}{4} \cot (x) \csc ^2(x)^{3/2} \]
[Out]
Time = 0.02 (sec) , antiderivative size = 36, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 3, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.375, Rules used = {4207, 201, 221} \[ \int \csc ^2(x)^{5/2} \, dx=-\frac {3}{8} \text {arcsinh}(\cot (x))-\frac {1}{4} \cot (x) \csc ^2(x)^{3/2}-\frac {3}{8} \cot (x) \sqrt {\csc ^2(x)} \]
[In]
[Out]
Rule 201
Rule 221
Rule 4207
Rubi steps \begin{align*} \text {integral}& = -\text {Subst}\left (\int \left (1+x^2\right )^{3/2} \, dx,x,\cot (x)\right ) \\ & = -\frac {1}{4} \cot (x) \csc ^2(x)^{3/2}-\frac {3}{4} \text {Subst}\left (\int \sqrt {1+x^2} \, dx,x,\cot (x)\right ) \\ & = -\frac {3}{8} \cot (x) \sqrt {\csc ^2(x)}-\frac {1}{4} \cot (x) \csc ^2(x)^{3/2}-\frac {3}{8} \text {Subst}\left (\int \frac {1}{\sqrt {1+x^2}} \, dx,x,\cot (x)\right ) \\ & = -\frac {3}{8} \text {arcsinh}(\cot (x))-\frac {3}{8} \cot (x) \sqrt {\csc ^2(x)}-\frac {1}{4} \cot (x) \csc ^2(x)^{3/2} \\ \end{align*}
Time = 0.29 (sec) , antiderivative size = 72, normalized size of antiderivative = 2.00 \[ \int \csc ^2(x)^{5/2} \, dx=\frac {1}{64} \sqrt {\csc ^2(x)} \left (-6 \csc ^2\left (\frac {x}{2}\right )-\csc ^4\left (\frac {x}{2}\right )+24 \left (-\log \left (\cos \left (\frac {x}{2}\right )\right )+\log \left (\sin \left (\frac {x}{2}\right )\right )\right )+6 \sec ^2\left (\frac {x}{2}\right )+\sec ^4\left (\frac {x}{2}\right )\right ) \sin (x) \]
[In]
[Out]
Result contains higher order function than in optimal. Order 9 vs. order 3.
Time = 0.55 (sec) , antiderivative size = 36, normalized size of antiderivative = 1.00
method | result | size |
default | \(\frac {\operatorname {csgn}\left (\csc \left (x \right )\right ) \left (3 \ln \left (\csc \left (x \right )-\cot \left (x \right )\right )+3 \cot \left (x \right )^{3} \csc \left (x \right )-5 \cot \left (x \right ) \csc \left (x \right )^{3}\right ) \sqrt {4}}{16}\) | \(36\) |
risch | \(-\frac {i \sqrt {-\frac {{\mathrm e}^{2 i x}}{\left ({\mathrm e}^{2 i x}-1\right )^{2}}}\, \left (3 \,{\mathrm e}^{6 i x}-11 \,{\mathrm e}^{4 i x}-11 \,{\mathrm e}^{2 i x}+3\right )}{4 \left ({\mathrm e}^{2 i x}-1\right )^{3}}+\frac {3 \sqrt {-\frac {{\mathrm e}^{2 i x}}{\left ({\mathrm e}^{2 i x}-1\right )^{2}}}\, \ln \left ({\mathrm e}^{i x}-1\right ) \sin \left (x \right )}{4}-\frac {3 \sqrt {-\frac {{\mathrm e}^{2 i x}}{\left ({\mathrm e}^{2 i x}-1\right )^{2}}}\, \ln \left ({\mathrm e}^{i x}+1\right ) \sin \left (x \right )}{4}\) | \(115\) |
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 69 vs. \(2 (26) = 52\).
Time = 0.25 (sec) , antiderivative size = 69, normalized size of antiderivative = 1.92 \[ \int \csc ^2(x)^{5/2} \, dx=\frac {6 \, \cos \left (x\right )^{3} - 3 \, {\left (\cos \left (x\right )^{4} - 2 \, \cos \left (x\right )^{2} + 1\right )} \log \left (\frac {1}{2} \, \cos \left (x\right ) + \frac {1}{2}\right ) + 3 \, {\left (\cos \left (x\right )^{4} - 2 \, \cos \left (x\right )^{2} + 1\right )} \log \left (-\frac {1}{2} \, \cos \left (x\right ) + \frac {1}{2}\right ) - 10 \, \cos \left (x\right )}{16 \, {\left (\cos \left (x\right )^{4} - 2 \, \cos \left (x\right )^{2} + 1\right )}} \]
[In]
[Out]
\[ \int \csc ^2(x)^{5/2} \, dx=\int \left (\csc ^{2}{\left (x \right )}\right )^{\frac {5}{2}}\, dx \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 869 vs. \(2 (26) = 52\).
Time = 0.32 (sec) , antiderivative size = 869, normalized size of antiderivative = 24.14 \[ \int \csc ^2(x)^{5/2} \, dx=\text {Too large to display} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 100 vs. \(2 (26) = 52\).
Time = 0.27 (sec) , antiderivative size = 100, normalized size of antiderivative = 2.78 \[ \int \csc ^2(x)^{5/2} \, dx=-\frac {{\left (\cos \left (x\right ) - 1\right )} \mathrm {sgn}\left (\sin \left (x\right )\right )}{8 \, {\left (\cos \left (x\right ) + 1\right )}} + \frac {{\left (\cos \left (x\right ) - 1\right )}^{2} \mathrm {sgn}\left (\sin \left (x\right )\right )}{64 \, {\left (\cos \left (x\right ) + 1\right )}^{2}} + \frac {{\left (\frac {8 \, {\left (\cos \left (x\right ) - 1\right )}}{\cos \left (x\right ) + 1} - \frac {18 \, {\left (\cos \left (x\right ) - 1\right )}^{2}}{{\left (\cos \left (x\right ) + 1\right )}^{2}} - 1\right )} {\left (\cos \left (x\right ) + 1\right )}^{2}}{64 \, {\left (\cos \left (x\right ) - 1\right )}^{2} \mathrm {sgn}\left (\sin \left (x\right )\right )} + \frac {3 \, \log \left (-\frac {\cos \left (x\right ) - 1}{\cos \left (x\right ) + 1}\right )}{16 \, \mathrm {sgn}\left (\sin \left (x\right )\right )} \]
[In]
[Out]
Timed out. \[ \int \csc ^2(x)^{5/2} \, dx=\int {\left (\frac {1}{{\sin \left (x\right )}^2}\right )}^{5/2} \,d x \]
[In]
[Out]